# -*- mode: snippet -*-
# name: Local Notation
# key: lnots
# uuid: lnots
# --
Local Notation $1 := $2.
